fixed-point相关论文
为了求解非线性矩阵方程Xs+m∑i=1AHiX-tiAi=Q在0<s≤1,t≥1时的最大Hermitian正定解,运用不动点迭代算法和矩阵理论知识,给出了解......
文中针对导弹武器系统中的数字滤波器,从弹上计算机定点实现的特点出发,说明了不同实现结构下的有限字长效应。以IIR滤波器为例,给出......
在具有向量值范数的实向量空间上,通过引入一个定义在向量格上的特殊映射来讨论压缩映射,并证明相应的不动点定理。......
研究了紧度量空间上的不动点问题.得到扩张映射与压缩映射的不动点定理.推广了文献[1]、[2]的结果.......
本文提出了基于TMS320C2XX定点DSP的浮点开平方算法,给出了实现方法及程序清单.实践证明该方法具有精度高、运算速度快、程序简单......
讨论了Banach空间非线性弹性梁方程{u^(4)(t)=λf(t,x(t)),t∈J u(0)=u″(0)=u′(1)=u″(1)=θ正解的存在性.通过构造一个特殊的锥,运用锥拉伸压缩不......
非线性函数广泛应用于各种多媒体压缩算法中,但在定点SOC芯片上处理这些函数比较困难,严重影响多媒体编解码性能,因此须采用近似算......
动态二进制翻译中,在目标平台没有浮点部件、不支持浮点运算的情况下,浮点指令只能通过模拟解释执行。浮点指令的解释执行造成翻译......
在由通用RISC处理器核和附加定点硬件加速器构成的定点SoC(System-on-Chip)芯片体系架构基础上,提出了一种新颖的基于统计分析的定......
运用一致拓扑方法研究了函数扰动条件下非自映射不动点集的本质稳定性及其在博弈论中的应用。结果表明,大部分非自映射的不动点集......
基于双曲型线性偏微分算子理论,引入并研究了具有非零初始值的拟线性双曲型方程的定解问题.由速降函数空间上的傅立叶变换的内积得......
利用FPGA器件完全采用底层自主设计,实现定点数到浮点数的转换.提出了一种全新的实现方法,变对数为减法,通过占用1%的逻辑资源,实......
模态图是谓词(演算的一种有效的图形表示形式.证明了谓词(演算和模态图的语义一致性,详细讨论了谓词(演算公式、嵌套谓词等式系和......
分析了地震非线性反演的混沌现象,并且从测井资料出发,以非线性动力学不动点理论及混沌控制理论为基础,提出了混沌控制反演方法,数......
由于物理学和力学中的许多问题最终可以归结为一类二阶常微分方程的边值问题,此类问题的解的存在性和多重性得到了许多学者的研究.通......
在通信、语音、图像处理等数字信号处理应用系统中一般使用浮点算法。为降低硬件成本、功耗,在定点硬件架构上实现浮点算法成为一种......
为研究Banach空间中的集值变分不等式问题,提出了一个新的例外簇概念,并利用零调集值映射的一个Leray-Schauder型不动点定理,证明......
根据L-函数的性质,主要研究L-函数的唯一性问题,利用Nevanlinna理论证明了不存在Selberg类中的两个相异L-函数分担一个不动点。......
主要讨论奇异边值问题{Фp(x′))′+a(t)f(x(t))=0,t∈(0,1)ax(0-βx′(0)=0,γx(1)+δx′(1)=0在奇性条件下无穷多个解的存在性问题,其中:Фp(s)=|s|p-2s,p〉......
针对GPS/INS与JTIDS组合的相对导航算法设计,采用无轨迹卡尔曼滤波方法(UKF)实现了非线性导航参数估计。为了解决相对导航中UKF算法在......
作为微积分中连续函数介值定理在n维欧氏空间R^n中的推广,G.Aumann建立了一个定义于n维矩形上非线性方程组解的存在性定理,J.Rohn利用B......
针对CMMB标准中的LDPC码进行了译码算法的研究,提出最小的改进算法,同时给出归一化最小和算法的定点仿真。定点仿真结果表明,输入8位......
导航应用终端小型化、高性能的发展需求对导航信息处理算法复杂度也提出越来越高的要求,多星PVT(位置、速度、钟差)的实时计算作为信......
环境、技术和就业:走向持续发展的新定义〔英〕马苏德近年来,出版了一大批有关环境经济的书籍,其主要内容,大部针对市场经济条件下的环......
本文提出了基于ADSP-BF533定点DSP的整数开平方快速算法,给出了C语言及其汇编实现。实践证明该方法具有精度高、运算速度快、程序......